Author: LPAR 2000 (2000 : Réunion)

Author's info and books

Information about author LPAR 2000 (2000 : Réunion) from several data sources.

Author Search

Search for any author

AI-generated bio of "LPAR 2000 (2000 : Réunion)":


Authors Results

Source: The Open Library

Authors called "LPAR 2000 (2000 : Réunion)"

Search results for authors called LPAR 2000 (2000 : Réunion) from The Open Library

LPAR 2000 (2000 Réunion)

Basic Info:

  • Name: LPAR 2000 (2000 Réunion)
  • Last Name: Réunion)
Top of Page

Books Results

Source: The Open Library

LPAR 2000 (2000 : Réunion) Books

Books writen by author LPAR 2000 (2000 : Réunion) from The Open Library

1Logic for programming and automated reasoning

By

“Logic for programming and automated reasoning” Metadata:

  • Title: ➤  Logic for programming and automated reasoning
  • Author:
  • Language: English

Access and General Info:

  • First Year Published: 2000
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Logic for programming and automated reasoning at online marketplaces:


Top of Page